Reserve support of avionics safety stability of perspective aircrafts
نویسندگان
چکیده
منابع مشابه
a gender-based pragmatic analysis of the use of english compliment responses by iraqi efl students:a speech act perspective
تعارفات کنش های گفتاری هستند که افراد در زندگی روزمر? خود به منظور برقراری دوستی یا تداوم روابط مسالمت آمیز به کار می برند. ساز و کار تعارف مختص زبان انگلیسی یا هر زبان دیگری نیست و پدیده ای است جهانی و در همه زبانها حضور دارد. تفاوتی که از این نظر در زبانها و فرهنگ ها وجود دارد مربوط به پاسخ به این کنش گفتاری در گفتمان است. این مطالعه به بررسی تنوع پاسخ های انگلیسی و عربی به کنش گفتاری تعارف د...
Avionics databus safety criteria and certification
The paper considers databuses used in avionics and automotive applications (ARINC 629, ARINC 429, FlexRay, CAN, TTP, SAFEbus, SpaceWire, FireWire and others) and identifies the criteria to evaluate them with respect to safety. The criteria address comprehensive aspects of databus assessment problem, combining mechanical (bus wiring, connectors, pinout, module design and dimensions, etc.), elect...
متن کاملTowards Safety Critical Middleware for Avionics Applications
Two factors influencing the design and development of avionics software are 1) the cost of verification, validation and certification 2) migration of avionics functionality from hardware to software, to decrease the weight and power consumption of the avionics. These two factors are inherently at odds. Lowering the development costs of engineering software for safety critical systems, while pro...
متن کاملSafety Assurance Contracts for Integrated Modular Avionics
This paper describes a method for performing safety analysis on an Integrated Modular Avionics system in a manner which supports the incremental development and change of system components. This is achieved by analysing each component in the context of the overall system design and then finding derived safety requirements. Each IMA component (hardware, software or both) is then examined to dete...
متن کاملExperimental Assessment of Astrée on Safety-Critical Avionics Software
Astrée is a parametric Abstract Interpretation based static analyser that aims at proving the absence of RTE (Run-Time Errors) in control programs written in C. Such properties are clearly safety properties since the behaviour of a C program is undefined after a RTE. When it analyses a program of the class for which it is specialised, Astrée is far more precise than general purpose static analy...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the National Aviation University
سال: 2016
ISSN: 2306-1472,1813-1166
DOI: 10.18372/2306-1472.6.9733